On the excellent property for power series rings over polynomial rings

Polynomial Rings over Pseudovaluation Rings

Let R be a ring. Let σ be an automorphism of R. We define a σ-divided ring and prove the following. (1) Let R be a commutative pseudovaluation ring such that x ∈ P for any P ∈ Spec(R[x,σ]) . Then R[x,σ] is also a pseudovaluation ring. (2) Let R be a σ-divided ring such that x ∈ P for any P ∈ Spec(R[x,σ]). Then R[x,σ] is also a σ-divided ring. Let now R be a commutative Noetherian Q-algebra (Q i...

Standard bases in mixed power series and polynomial rings over rings

In this paper we study standard bases for submodules of a mixed power series and polynomial ring RJt1, . . . , tmK[x1, . . . , xn] s respectively of their localization with respect to a t-local monomial ordering for a certain class of noetherian rings R. The main steps are to prove the existence of a division with remainder generalizing and combining the division theorems of Grauert–Hironaka an...

Group Actions on Polynomial and Power Series Rings

On Polynomial Rings with a Goldbach Property

David Hayes observed in 1965 that when R = Z, every element of R[T ] of degree n ≥ 1 is a sum of two irreducibles in R[T ] of degree n. We show that this result continues to hold for any Noetherian domain R with infinitely many maximal ideals. It appears that David Hayes [5] was the first to observe the following polynomial analogue of the celebrated Goldbach conjecture: If R = Z, then (?) ever...

On primitive ideals in polynomial rings over nil rings

Let R be a nil ring. We prove that primitive ideals in the polynomial ring R[x] in one indeterminate over R are of the form I [x] for some ideals I of R. All considered rings are associative but not necessarily have identities. Köthe’s conjecture states that a ring without nil ideals has no one-sided nil ideals. It is equivalent [4] to the assertion that polynomial rings over nil rings are Jaco...